🎯 Type Theory

Dependent Types, Category Theory, Formal Verification, Lambda Calculus

Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·1h
🔧Scheme Macros
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·2d·
Discuss: Hacker News
🐪OCaml
Algebraic Types are not Scary
blog.aiono.dev·19h·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·11h·
Discuss: Hacker News
🔗Lexical Scoping
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·16h·
Discuss: DEV
🧮Theorem Provers
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·1h
🔢Algebraic Datatypes
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
⚡functional programming
What is Algebraic about Algebraic Effects?
interjectedfuture.com·13h
💫Effect Systems
How to Debug Chez Scheme Programs (2002)
scheme.com·8h·
Discuss: Hacker News
💬Error Message Design
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·14h·
Discuss: www.blogger.com
🔮Lisp Interpreters
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·1d·
Discuss: Hacker News
🚶Tree-walking
ECMAScript TC39 proposal-pattern-matching
github.com·15h·
Discuss: Hacker News
🎯Pattern Matching
Show HN: I wrote a book: The Elements of Code
news.ycombinator.com·14h·
Discuss: Hacker News
📚Self-Documenting Code
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·5d·
Discuss: Hacker News
🎭Racket Modules
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Balance between refactoring and inheritance in your code
github.com·17h·
Discuss: Hacker News
🧪Compiler Testing
Semantic Dictionary Encoding
falvotech.com·14h·
Discuss: Hacker News
🗂️Type Indexing
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
What Does -> Mean in Python Function Definitions?
realpython.com·15h
🌊Gradual Typing
Death to Type Classes
jappie.me·3d·
Discuss: Hacker News, r/programming
🐪OCaml